Dynamic logic

Dynamic Logic may mean: